semantically-equivalent rules

[计] 语义等价规则